Reasoning about Structure of Interval Systems: An Approach by Sign Directed-Graph
نویسنده
چکیده
This paper deals with qualitative and structural reasoning on linear interval systems whose parameters are specified by intervals . We formalize the systems of reasoning about structures of interval systems by the qualitative perturbation principle : the interval system would have the interval property when its underlying sign structure include the component that has the corresponding sign property and the norm of the rest of component (considered qualitative perturbation) is small enough . Several interval properties of interval matrix such as nonsingularity, rank and inverse stability will be discussed by applying the principle to the graphical conditions for the corresponding sign properties . The Klein model in economics is used as an illustrative example .
منابع مشابه
Structural Analysis on Interval Matrices by Signed Digraph: Structural Perturbation Principle
This note deals with linear interval systems whose parameters in system matrix are expressed by intervals. We formalize the system reasoning about structures of interval systems by the structural perturbation principle: the interval system would have the interval property when its underlying sign structure include the component that has the corresponding sign property and the norm of the rest o...
متن کاملStructural Analysis on Interval Matrices by Signed Digraph: Determinant Maximization and Singularity
We present some results that show the information of sign structure of matrices characterized by signed digraph can reduce computations in interval matrices. With the sign structure of the matrices, vertices of interval matrices which realizes the max/min of the determinant can be xed. We present an algorithm to check singularity of interval matrices based on the result. We also discuss impact ...
متن کاملAn Efficient Algorithm for the Uniform Maximum Distance Problem on a Chain
Efficient algorithms for temporal reasoning are essential in knowledge-based systems. This is central in many areas of Artificial Intelligence including scheduling, planning, plan recognition, and natural language understanding. As such, scalability is a crucial consideration in temporal reasoning. While reasoning in the interval algebra is NPcomplete, reasoning in the less expressive point alg...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملUNCERTAINTY DATA CREATING INTERVAL-VALUED FUZZY RELATION IN DECISION MAKING MODEL WITH GENERAL PREFERENCE STRUCTURE
The paper introduces a new approach to preference structure, where from a weak preference relation derive the following relations:strict preference, indifference and incomparability, which by aggregations and negations are created and examined. We decomposing a preference relation into a strict preference, anindifference, and an incomparability relation.This approach allows one to quantify diff...
متن کامل